fpga asic systemc dsp design eda xputer reconfigurable soc hardware configware functional verification analog